\chapter*{Kurzfassung}

Die Menge an von Informationssystemen gespeicherten Daten w\"achst stetig. F\"ur diesen Zweck werden vorwiegend Datenbanksysteme eingesetzt. Jedoch gewinnen alternative Datenformate, wie XML Dokumente und Graph-basierte Datenbanken, immer mehr an Einfluss. In all diesen Datenformaten ist es wichtig, mit Hilfe des Datenbankdesigns Redundanzen zu vermeiden. Solche k\"onnen bei einem  schlecht konzipierten Datenmodell auftreten. Deshalb wurden Normalformen entwickelt, um Datenmodelle zu schaffen, welche keine vermeidbaren Redundanzen mehr enthalten. F\"ur das relationale Datenmodell wird Boyce-Codd Normalform (BCNF) verwendet. Arenas und Libkin entwickelten 2004 XML Normalform f\"ur XML Dokumente. Normalformen f\"ur Graph-basierte Datenbanken wurden bisher nicht untersucht. Unser Ziel ist es, diese L\"ucke zu schlie\ss{}en. Wir wollen eine Normalform definieren, welche die Eigenschaften von BCNF auf Graph-basierte Datenbanken \"ubertr\"agt. \\

\noindent Zuerst werden wir Boyce-Codd und XML Normalform betrachten. Ideen aus diesen Normalformen verwenden wir dazu, um eine Normalform f\"ur Graph-basierte Datenbanken zu entwickeln. Beschreibungslogiken (DLs) sind als formales Modell f\"ur Graph-basierte Datenbanken \"uberaus passend. Da BCNF mittels funktionaler Abh\"angigkeiten definiert ist, muss es uns m\"oglich sein solche auch \"uber DL Wissensbasen (DL KBs) auszudr\"ucken. Ein naheliegender Kandidat sind die von Calvanese et al.\ 2008 eingef\"uhrten path-based identification constraints verwenden. Allerdings zeigen wir, dass path-based identification constraints nicht ausdrucksstark genug sind, um funktionale Abh\"angigkeiten in DLs zu modellieren. Deshalb erweitern wir path-based identification constraints zu tree-based identification constraints. Mittels diesen untersuchen wir Redundanzen in DL KBs. \\

\noindent Der Hauptbeitrag dieser Arbeit ist eine Definition der Beschreibungslogik Normalform (DLNF), welche eine sinnesgetreue Erweiterung der BCNF zu DLs ist. Zus\"atzlich stellen wir eine direkte Abbildung von relationalen Schemata auf DL KBs vor. Wir zeigen, dass jedes relationale Schema genau dann in BCNF ist, wenn auch die direkte Abbildung dieses Schemas auf eine DL KB in DLNF ist und umgekehrt.

